COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input buslet[1,ra]
C00004 ENDMK
C⊗;
\input buslet[1,ra]
\jmclet
\vskip 30pt
\address 
Professor Bruce J. McDonald
Computer Science Department
San Francisco State University
1600 Holloway Ave.
San Francisco, CA 94132

\body
Dear Professor McDonald:

	Michael Gelfond has asked me to write a letter in connection
with his application for position in your department.
I am reasonably familiar with his
work, because much of it concerns the circumscription concept,
which I introduced, beginning in 1977.  I consider his work of high
quality, both mathematically and conceptually.

	I have been particularly impressed with his understanding
and comparison of the various proposed forms of non-monotonic
reasoning including those implicit in logic programming.  I am
not able to evaluate the work on parallel logic programming,
because it is a very active field that I haven't time to learn.

\closing
Sincerely,       

John McCarthy    
\annotations
\vskip 1in
JMC/ra 
\endletter
\end